Can we be more polite?

Patient delay in cancer diagnosis: what do we really mean and can we be more specific?

BACKGROUND Early diagnosis is a key focus of cancer control because of its association with survival. Delays in diagnosis can occur throughout the diagnostic pathway, within any one of its three component intervals: the patient interval, the primary care interval and the secondary care interval. DISCUSSION A key focus for help-seeking research in patients with symptoms of cancer has been the ...

Can We Be Too Careful?

LTL Can Be More Succinct

It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be extended to increase the expressiveness of the logic to all regular languages. Other ways of extending the expressiveness of LTL using modular and group modalities have been explored by Baziramwabo, McKenzie and Thérien, which a...

Extending Nonaka’s Knowledge Creation Theory: How We Know More than We Can Tell & Tell More than We Can Know

Nonaka and colleagues propose a theory of knowledge creation grounded in the epistemology of Michael Polanyi. However, both Nonaka (and colleagues) and Polanyi tend to leave part of the epistemology of collaborative knowledge creation unaccounted for. As a remedy we introduce the notion of knowledge as “unfathomable” (Bartley, 1987), rooted in the Popperian idea of “objective knowledge” (Popper...

Reward Based Congruences: Can We Aggregate More?

In this paper we extend a performance measure sensitive Markovian bisimulation congruence based on yield and bonus rewards that has been previously defined in the literature, in order to aggregate more states and transitions while preserving compositionality and the values of the performance measures. The extension is twofold. First, we show how to define a performance measure sensitive Markovi...